function dom_extension()
{
	
}